home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / lisp / kcl / akcl / akcl1615.lha / xbin / maketest < prev    next >
Lisp/Scheme  |  1991-06-06  |  1KB  |  44 lines
  1. LISP=akcl
  2. TEST=${HOME}
  3. # TEST=/u8/temp
  4. # TEST=/public/tmp/wfs
  5. NQTHM=${HOME}/nqthm
  6. TMP=$(TEST)/tmptest
  7.  
  8. # (cd akcl ; make -f xbin/maketest) # does compilation and test of nqthm
  9. # (cd akcl ; make -f xbin/maketest "TAR=/usr2/ftp/akcl.tar.Z") # does compilation of akcl and runs test of nqthm in the resulting lisp
  10.  
  11. all:    
  12.     xbin/setup-tmptest $(TMP) $(TEST) $(NQTHM)
  13.     (cd $(TMP) ; echo '(load "nqthm.lisp")(compile-nqthm)' | ${LISP})
  14.     make -f xbin/maketest run-test "LISP=${LISP}"
  15.     make -f xbin/maketest sgc "LISP=${LISP}"
  16.  
  17. # untar the tar file ${TAR} in ${TEST}/tmp/akcl  and make
  18. # then make -f xbin/maketest all
  19. make:
  20.     xbin/test1 ${TEST} ${TAR}    
  21.     
  22. run-test:
  23.     (cd $(TMP) ; echo '(load "nqthm.lisp")(load-nqthm)' \
  24.     '(SETQ *THM-SUPPRESS-DISCLAIMER-FLG* T)' \
  25.     '(load "little.lisp")' | ${LISP})
  26.  
  27. # we run the compiler 10 times with sgc on and compare with the result with
  28. # sgc off.
  29. sgc:
  30.     cp lsp/sloop.lsp /tmp
  31.     echo '(compile-file "/tmp/sloop.lsp" :c-file t :o-file nil)' | ${LISP}
  32.     mv /tmp/sloop.c /tmp/sloop-reg.c
  33.     echo '(setq si::*notify-gbc* t)(si::sgc-on t)' \
  34.     '(dotimes (i 10) (compile-file "/tmp/sloop.lsp" :c-file t :o-file nil)' \
  35.     '(if (not (eql 0 (system "diff /tmp/sloop.c /tmp/sloop-reg.c")))' \
  36.     '(error ">>>>ERROR: The compilation DIFFERED")))' | ${LISP}
  37.     diff /tmp/sloop.c /tmp/sloop-reg.c
  38.     rm -f /tmp/sloop.lsp /tmp/sloop.c /tmp/sloop-reg.c
  39.  
  40.     
  41.  
  42.  
  43.  
  44.